大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Institute of Electrical and Electronics Engineers. Chicago Section 的图书(共54856本)

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

0
索取号:
作者:Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

0
索取号:
作者:Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in New Technologies, Interactive Interfaces and Communicability [electronic resource] : Second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers

0
索取号:
作者:Cipolla-Ficarra、 Francisco.、Veltman、 Kim.、Verber、 Domen.、Cipolla-Ficarra、 Miguel.、Kamm眉ller、 Florian.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Rewriting Logic and Its Applications [electronic resource] : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers

0
索取号:
作者:Dur谩n、 Franciso.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Production Management Systems. Value Networks: Innovation, Technologies, and Management [electronic resource] : IFIP WG 5.7 International Conference, APMS 2011, Stavanger, Norway, September 26-28, 2011, Revised Selected Papers

0
索取号:
作者:Frick、 Jan.、Laugen、 Bj酶rge Timenes.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Human-Computer Interaction, Tourism and Cultural Heritage [electronic resource] : Second International Workshop, HCITOCH 2011, C贸rdoba, Argentina, September 14-15, 2011, Revised Selected Papers

0
索取号:
作者:Cipolla-Ficarra、 Francisco.、Veltman、 Kim.、Chih-Fang、 Huang.、Cipolla-Ficarra、 Miguel.、Kratky、 Andreas.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

The Dynamics of Global Sourcing. Perspectives and Practices [electronic resource] : 6th Global Sourcing Workshop 2012, Courchevel, France, March 12-15, 2012, Revised Selected Papers

0
索取号:
作者:Kotlarsky、 Julia.、Oshri、 Ilan.、Willcocks、 Leslie P.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Reflections on the History of Computing [electronic resource] : Preserving Memories and Sharing Stories

0
索取号:
作者:Tatnall、 Arthur.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Vision-ECCV 2012. Workshops and Demonstrations [electronic resource] : Florence, Italy, October 7-13, 2012, Proceedings, Part III

0
索取号:
作者:Fusiello、 Andrea.、Murino、 Vittorio.、Cucchiara、 Rita.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Knowledge Engineering and Knowledge Management [electronic resource] : 18th International Conference, EKAW 2012, Galway City, Ireland, October 8-12, 2012. Proceedings

0
索取号:
作者:Teije、 Annette.、V枚lker、 Johanna.、Handschuh、 Siegfried.、Stuckenschmidt、 Heiner.、d鈥橝cquin、 Mathieu.、Nikolov、 Andriy.、Aussenac-Gilles、 Nathalie.、Hernandez、 Nathalie.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Vision-ECCV 2012. Workshops and Demonstrations [electronic resource] : Florence, Italy, October 7-13, 2012, Proceedings, Part II

0
索取号:
作者:Fusiello、 Andrea.、Murino、 Vittorio.、Cucchiara、 Rita.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Vision-ECCV 2012. Workshops and Demonstrations [electronic resource] : Florence, Italy, October 7-13, 2012, Proceedings, Part I

0
索取号:
作者:Fusiello、 Andrea.、Murino、 Vittorio.、Cucchiara、 Rita.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Theory and Practice of Natural Computing [electronic resource] : First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings

0
索取号:
作者:Dediu、 Adrian-Horia.、Mart铆n-Vide、 Carlos.、Truthe、 Bianca.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Software Engineering and Formal Methods [electronic resource] : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

0
索取号:
作者:Eleftherakis、 George.、Hinchey、 Mike.、Holcombe、 Mike.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Edible Ectomycorrhizal Mushrooms [electronic resource] : Current Knowledge and Future Prospects

0
索取号:
作者:Zambonelli、 Alessandra.、Bonito、 Gregory M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Serious Games: The Challenge [electronic resource] : ITEC/CIP and T 2011: Joint Conference of the Interdisciplinary Research Group on Technology, Education, and Communication, and the Scientific Network on Critical and Flexible Thinking Ghent, Belgium, October 19-21, 2011, Revised Selected Papers

0
索取号:
作者:Wannemacker、 Stefan.、Vandercruysse、 Sylke.、Clarebout、 Geraldine.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
最近添加的分类